Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
411	Under consideration for publication in Math. Struct. in Comp. Science A Judgmental Reconstruction of Modal Logic F R A N K P F E N N I N G† and R O W A N D A V I E S Department of Computer Science Add to Reading List Source URL: hylocore.ruc.dk Language: English - Date: 2013-05-29 03:25:19
412	Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic
413	Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2015-07-27 06:09:15 Automated theorem proving Theoretical computer science Logic Formal methods Mathematics Logic in computer science Proof theory Mathematical proof Proof assistant Isabelle Theorem Proof
414	Agents and Roles: Renement in Alternating-Time Temporal Logic Mark Ryan1 and Pierre-Yves Schobbens2 1 School of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-02-25 10:33:25
415	Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2005-08-10 11:35:47 Theoretical computer science Mathematical logic Logic in computer science Type theory Proof assistants Mathematics Automated theorem proving Isabelle Logical framework Twelf Formal methods Automated reasoning
416	Simplex with Sum of Infeasibilities for SMT Tim King⇤ ⇤ New Clark Barrett⇤ Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:57 Operations research Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Simplex algorithm Linear programming Simplex First-order logic
417	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:27:51 Mathematical logic Logic Theoretical computer science Logic in computer science Semantics Heap Predicate Immutable object Separation logic First-order logic Control FO
418	Extracting Frame Conditions from Operation Contracts Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-17 08:36:26 Theoretical computer science Formal methods Software engineering Logic in computer science Postcondition Object Constraint Language Causality Statistics Statistical hypothesis testing Invariant
419	Abstract Path Planning for Multiple Robots: An Empirical Study Pavel Surynek Charles University in Prague Faculty of Mathematics and Physics Department of Theoretical Computer Science and Mathematical Logic Malostranské Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:38
420	Tactics for Separation Logic early draft Andrew W. Appel INRIA Rocquencourt & Princeton University January 13, 2006 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-11-29 16:23:38 Philosophical logic Non-classical logic Logic in computer science Automated theorem proving Logic programming Hoare logic Separation logic Substitution Modal logic Quantifier FO Constructible universe

UPDATE